1

Explaining consumer confidence in Portugal

Année:
2011
Langue:
english
Fichier:
PDF, 360 KB
english, 2011
3

What is a logical theory? On theories containing assertions and denials

Année:
2019
Langue:
english
Fichier:
PDF, 430 KB
english, 2019
4

How upside down are political business cycles when there is output persistence

Année:
2009
Langue:
english
Fichier:
PDF, 357 KB
english, 2009
5

Behavioral algebraization of da Costa's C -systems

Année:
2009
Langue:
english
Fichier:
PDF, 208 KB
english, 2009
6

Hierarchical logical consequence

Année:
2011
Langue:
english
Fichier:
PDF, 237 KB
english, 2011
8

Deriving Liveness Goals from Temporal Logic Specifications

Année:
1996
Langue:
english
Fichier:
PDF, 729 KB
english, 1996
11

On the semantics of Alice&Bob specifications of security protocols

Année:
2006
Langue:
english
Fichier:
PDF, 548 KB
english, 2006
13

Denotational semantics of object specification

Année:
1998
Langue:
english
Fichier:
PDF, 450 KB
english, 1998
14

Specifying communication in distributed information systems

Année:
2000
Langue:
english
Fichier:
PDF, 174 KB
english, 2000
15

Understanding the election results in Portugal

Année:
2005
Langue:
english
Fichier:
PDF, 606 KB
english, 2005
16

Exploring the Peaks and Valleys in the Number of Births in Portugal

Année:
2010
Langue:
english
Fichier:
PDF, 213 KB
english, 2010
17

Behavioral Algebraization of Logics

Année:
2009
Langue:
english
Fichier:
PDF, 527 KB
english, 2009
18

From Fibring to Cryptofibring. A Solution to the Collapsing Problem

Année:
2007
Langue:
english
Fichier:
PDF, 695 KB
english, 2007
19

Deconstructing Alice and Bob

Année:
2005
Langue:
english
Fichier:
PDF, 354 KB
english, 2005
20

Distributed temporal logic for the analysis of security protocol models

Année:
2011
Langue:
english
Fichier:
PDF, 1.22 MB
english, 2011
22

Synchronization of Logics

Année:
1997
Fichier:
PDF, 1.88 MB
1997
34

Abstract Valuation Semantics

Année:
2013
Langue:
english
Fichier:
PDF, 393 KB
english, 2013
41

Exploring the Peaks and Valleys in the Number of Births in Portugal

Année:
2010
Langue:
english
Fichier:
PDF, 1.52 MB
english, 2010
47

Proposed disease activity criteria for mixed connective tissue disease

Année:
2010
Langue:
english
Fichier:
PDF, 89 KB
english, 2010
50

Capillaroscopy is a dynamic process in mixed connective tissue disease

Année:
2007
Langue:
english
Fichier:
PDF, 140 KB
english, 2007